Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
421	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
422	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
423	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
424	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
425	g01 – Simple Calculations on Statistical Data g01gec NAG C Library Function Document nag_prob_non_central_beta_dist (g01gec) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Poisson processes Noncentral beta distribution Poisson distribution Beta distribution Lambda calculus Binary lambda calculus Noncentral F-distribution Statistics Mathematical analysis Probability and statistics
426	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
427	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
428	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
429	A Multispeed Model for Lattice Gas Hydrodynamics Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:27 English phonology English orthography Combinatory logic Lambda calculus Logic in computer science
430	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus

UPDATE